45.89/48.36	unsat
