47.17/48.30	unsat
