18.75/18.98	unsat
