0.29/0.48	unsat
