19.42/21.49	unsat
