6.74/7.62	unsat
