5.68/5.77	unsat
