14.18/17.06	unsat
