5.51/5.77	unsat
