0.93/0.94	unsat
