16.66/18.06	unsat
