47.86/48.88	unsat
