6.27/7.62	unsat
