18.75/18.82	unsat
