0.19/0.48	unsat
