7.66/7.72	unsat
