4.75/7.77	unsat
