6.29/8.62	unsat
