5.22/6.77	unsat
