18.42/18.54	unsat
