5.98/7.77	unsat
