19.25/20.98	unsat
