5.09/7.77	unsat
