47.82/48.77	unsat
