47.49/47.79	unsat
