0.68/0.94	unsat
