47.07/48.74	unsat
