19.42/20.78	unsat
