47.80/48.32	unsat
