49.63/70.69	unsat
