0.40/0.47	unsat
