5.69/5.77	unsat
