47.49/47.61	unsat
