7.26/9.65	unsat
