7.77/7.80	unsat
