1.29/1.71	unsat
