19.24/20.99	unsat
