52.31/52.49	unsat
