19.28/20.90	unsat
