52.21/52.34	unsat
