46.82/48.44	unsat
