7.77/7.81	unsat
