17.55/17.64	unsat
