0.28/0.47	unsat
