7.44/9.02	unsat
