7.22/7.72	unsat
