7.77/7.82	unsat
