0.23/0.28	unsat
