19.28/21.90	unsat
