7.76/7.79	unsat
