5.63/5.69	unsat
