0.08/0.28	unsat
