19.46/19.64	unsat
