52.33/52.49	unsat
