47.05/48.36	unsat
