6.26/9.91	unsat
