7.93/8.61	unsat
