48.82/52.48	unsat
