6.09/7.62	unsat
