48.42/52.48	unsat
