1.59/5.69	unsat
