1.48/1.71	unsat
