0.20/0.28	unsat
