47.39/48.79	unsat
