52.99/55.76	unsat
