45.04/47.56	unsat
