5.17/6.77	unsat
