18.85/18.95	unsat
