18.88/20.98	unsat
