18.00/18.84	unsat
