0.60/0.83	unsat
