18.85/18.99	unsat
