5.57/5.77	unsat
