47.11/52.78	unsat
