0.32/0.48	unsat
