47.45/48.96	unsat
