5.67/5.77	unsat
