0.39/1.71	unsat
