52.41/52.78	unsat
