0.42/0.48	unsat
