18.77/18.84	unsat
