0.28/0.67	unsat
