6.32/7.77	unsat
