7.17/7.62	unsat
