7.10/7.79	unsat
