0.28/0.68	unsat
