45.14/51.82	unsat
