0.05/0.48	unsat
