47.83/48.00	unsat
