7.26/9.42	unsat
