7.04/7.07	unsat
