6.30/8.62	unsat
