19.15/20.98	unsat
