7.22/7.97	unsat
