19.85/22.98	unsat
