8.26/9.61	unsat
